#include <unistd.h>

int main() {
        return write(0, "Hello world\n", 12);
}
